(= (eval (eval ``(+ 1 2))) 3)
